let x = 0x100_0000
let y = 0x100
assert(x * y == 0x1_0000_0000)
assert(0x100_0000 * 0x100 == 0x1_0000_0000)
